Linearization of hybrid processes

We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the algebraic analysis of hybrid systems, i.e., systems with continuous (physical) as well as discrete (computational) components. Linearization is a useful first step in this analysis, because it reduces the complexity of model descriptions by transforming them into so-called linear form. Furthermore, this linear form allows the use of analysis techniques that cannot be applied to the full HyPA syntax. We also extend HyPA with an abstraction operator.